COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES
نویسندگان
چکیده
منابع مشابه
Three alternating sign matrix identities in search of bijective proofs
These are rich combinatorial objects with connections to many problems in algebraic combinatorics (see [2], [3], [12]). They also have many different representations. The representation that was used in Kuperberg’s proof of the counting function for alternating sign matrices [9] and Zeilberger’s proof of the refined alternating sign matrix conjecture [14] is the six-vertex model of statistical ...
متن کاملBijective proofs of shifted tableau and alternating sign matrix identities
We give a bijective proof of an identity relating primed shifted gl(n)-standard tableaux to the product of a gl(n) character in the form of a Schur function and ∏ 1≤i<j≤n(xi + yj). This result generalises a number of well–known results due to Robbins and Rumsey, Chapman, Tokuyama, Okada and Macdonald. An analogous result is then obtained in the case of primed shifted sp(2n)standard tableaux whi...
متن کاملShort and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type
New short and easy computer proofs of finite versions of the Rogers-Ramanujan identities and of similar type are given. These include a very short proof of the first Rogers-Ramanujan identity that was missed by computers, and a new proof of the well-known quintuple product identity by creative telescoping. AMS Subject Classification. 05A19; secondary 11B65, 05A17
متن کاملAutomatic Proofs of Identities
We present the ideas behind algorithmic proofs of identities involving sums and integrals of large classes of special functions. Recent results allowed a new extension of the class of holonomic functions.
متن کاملOn Two Identities of the Rank of Matrix Product
We proved two important identities of the rank of the product of matrixes by using block matrixes and system of solutions of reference of homogeneous linear equations and give some useful equalities and inequalities of rank of the product of the matrixes base on these identities. Mathematics Subject Classification: 15A24
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra and Its Applications
سال: 2004
ISSN: 0219-4988,1793-6829
DOI: 10.1142/s0219498804000721